<html>
<head><meta charset="utf-8"><title>meeting this week · t-compiler/wg-rfc-2229 · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/index.html">t-compiler/wg-rfc-2229</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html">meeting this week</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="247196963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247196963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247196963">(Jul 26 2021 at 12:49)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="281950">@Aman Arora</span>, <span class="user-mention" data-user-id="307184">@rocksand</span> -- I'm working remotely this week, so meeting would be best over Zulip (presuming we want to do a sync meeting)</p>



<a name="247240589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247240589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247240589">(Jul 26 2021 at 18:13)</a>:</h4>
<p>Works for me</p>



<a name="247270019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247270019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rocksand <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247270019">(Jul 26 2021 at 22:05)</a>:</h4>
<p>Works for me too</p>



<a name="247450812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247450812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247450812">(Jul 28 2021 at 12:16)</a>:</h4>
<p><span class="user-mention" data-user-id="281950">@Aman Arora</span> <span class="user-mention" data-user-id="307184">@rocksand</span> are you all available to sync at a different time?</p>



<a name="247451172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247451172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247451172">(Jul 28 2021 at 12:20)</a>:</h4>
<p>Also, do we need to sync, or would an async "current status" suffice</p>



<a name="247451632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247451632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rocksand <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247451632">(Jul 28 2021 at 12:26)</a>:</h4>
<p>I can sync at a different time but on my end an async status would suffice</p>



<a name="247451903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247451903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rocksand <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247451903">(Jul 28 2021 at 12:28)</a>:</h4>
<p>I haven’t been able to make much progress on the ICE as I spent the last 2 days driving down to NY, but I am hoping I can have a fix up later today</p>



<a name="247463959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247463959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247463959">(Jul 28 2021 at 14:11)</a>:</h4>
<p>Sync at a different time works</p>



<a name="247464024"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247464024" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247464024">(Jul 28 2021 at 14:11)</a>:</h4>
<p>I worked on truncation and bit on insignificant destructors</p>



<a name="247470314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470314">(Jul 28 2021 at 14:57)</a>:</h4>
<p><span class="user-mention" data-user-id="307184">@rocksand</span> ok, let me know how that goes</p>



<a name="247470325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470325">(Jul 28 2021 at 14:57)</a>:</h4>
<p>any open questions <span class="user-mention" data-user-id="281950">@Aman Arora</span> on either of those topics?</p>



<a name="247470330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470330">(Jul 28 2021 at 14:57)</a>:</h4>
<p>what is "truncation"?</p>



<a name="247470338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470338">(Jul 28 2021 at 14:57)</a>:</h4>
<p>is that the thing I r+'d ? :)</p>



<a name="247470347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470347">(Jul 28 2021 at 14:57)</a>:</h4>
<p>ah, truncation of the paths we capture</p>



<a name="247470373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rocksand <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470373">(Jul 28 2021 at 14:58)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/meeting.20this.20week/near/247470314">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="307184">rocksand</span> ok, let me know how that goes</p>
</blockquote>
<p>I just opened a PR. It was an easy fix <a href="https://github.com/rust-lang/rust/pull/87554">https://github.com/rust-lang/rust/pull/87554</a></p>



<a name="247470515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470515">(Jul 28 2021 at 14:58)</a>:</h4>
<p><span class="user-mention" data-user-id="307184">@rocksand</span> left a comment</p>



<a name="247470786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470786">(Jul 28 2021 at 15:00)</a>:</h4>
<p>I'm wondering if we need truncation we discussed. The decision we make to use unique Imm borrow today still based on if there is a ferret of an &amp;mut</p>



<a name="247470837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470837">(Jul 28 2021 at 15:01)</a>:</h4>
<p>Essentially none of test cases changed</p>



<a name="247470881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470881">(Jul 28 2021 at 15:01)</a>:</h4>
<p>define "changed"-- did the debugging output not change?</p>



<a name="247470901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470901">(Jul 28 2021 at 15:01)</a>:</h4>
<p>No</p>



<a name="247470902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247470902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247470902">(Jul 28 2021 at 15:01)</a>:</h4>
<p>I'm not sure if this causes an active bug, that's a good thing to think about, but we are definitely using the "wrong" mode</p>



<a name="247471195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247471195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247471195">(Jul 28 2021 at 15:04)</a>:</h4>
<p>what we had discussed was the if we ever truncate so that we have deref of an  &amp;mut in the truncated part we use UniqueImmBorrow</p>



<a name="247471251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247471251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247471251">(Jul 28 2021 at 15:04)</a>:</h4>
<p>and that is somewhat what we do today</p>



<a name="247471256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247471256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247471256">(Jul 28 2021 at 15:04)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/blob/efeea79a6bb6867b220471e0396b82b6b68ebc4c/compiler/rustc_typeck/src/check/upvar.rs#L1495-L1503">https://github.com/rust-lang/rust/blob/efeea79a6bb6867b220471e0396b82b6b68ebc4c/compiler/rustc_typeck/src/check/upvar.rs#L1495-L1503</a></p>



<a name="247471294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247471294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247471294">(Jul 28 2021 at 15:04)</a>:</h4>
<p>we go through all the derefs within the place and look for deref of an &amp;mut</p>



<a name="247471823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247471823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247471823">(Jul 28 2021 at 15:08)</a>:</h4>
<p>For doing the analysis for insig drops. I basically modified the compiler to output the type that made up decide okay we need to migrate. There is only a surpsingly small number of migrations that happen across <code>./x.py build --stage 2</code> (not sure if im doing wrong)</p>



<a name="247471851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247471851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247471851">(Jul 28 2021 at 15:09)</a>:</h4>
<div class="codehilite"><pre><span></span><code>SG_DROP:
SG_DROP: DROP: infer::TypeTrace&lt;&#39;_&gt;
SG_DROP: DROP: infer::TypeTrace&lt;&#39;_&gt;
SG_DROP: DROP: infer::TypeTrace&lt;&#39;_&gt;
SG_DROP: DROP: infer::TypeTrace&lt;&#39;_&gt;
SG_DROP:
SG_DROP: DROP: G
SG_DROP: DROP: std::string::String
SG_DROP: DROP: rustc_middle::ty::ImplHeader&lt;&#39;_&gt;
SG_DROP: DROP: rustc_middle::ty::TyCtxt&lt;&#39;_&gt;
SG_DROP: DROP: std::vec::Vec&lt;rustc_span::Span&gt;
SG_DROP: DROP: std::option::Option&lt;std::rc::Rc&lt;rustc_middle::traits::query::MethodAutoderefBadTy&lt;&#39;_&gt;&gt;&gt;
SG_DROP:
SG_DROP:
SG_DROP:
SG_DROP: DROP: std::string::String
</code></pre></div>
<p>I need to output span information</p>



<a name="247471903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247471903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247471903">(Jul 28 2021 at 15:09)</a>:</h4>
<p>the empty lines are closures that had trait migration but no drop migration</p>



<a name="247472009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247472009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> rocksand <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247472009">(Jul 28 2021 at 15:10)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/meeting.20this.20week/near/247470515">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="307184">rocksand</span> left a comment</p>
</blockquote>
<p>I fixed the nit</p>



<a name="247472100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247472100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247472100">(Jul 28 2021 at 15:10)</a>:</h4>
<p>Current approach has a flaw where if we have <code>struct. A {  Vec&lt;T1&gt;, Vec&lt;T2&gt; }</code> it would only print out Vec&lt;t!&gt; because we stop as soon as we see a reason to migrate so I need to tweak that a bit to get the complete picture</p>



<a name="247491813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247491813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247491813">(Jul 28 2021 at 17:43)</a>:</h4>
<p>I think the problem is that today we look for deref of a <code>&amp;mut</code> <em>anywhere</em>, right?</p>



<a name="247491830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247491830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247491830">(Jul 28 2021 at 17:43)</a>:</h4>
<p>(not just in the truncated part)</p>



<a name="247542788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247542788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247542788">(Jul 29 2021 at 04:10)</a>:</h4>
<p>I misread the issue and went on tangents trying to make an edge case <span aria-label="upside down" class="emoji emoji-1f643" role="img" title="upside down">:upside_down:</span></p>



<a name="247542792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247542792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247542792">(Jul 29 2021 at 04:10)</a>:</h4>
<p>I'll have a PR up tomorrow</p>



<a name="247834107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247834107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247834107">(Aug 01 2021 at 01:42)</a>:</h4>
<p>Sorry this took a bit longer here is the PR: <a href="https://github.com/rust-lang/rust/pull/87676">https://github.com/rust-lang/rust/pull/87676</a></p>



<a name="247902807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/meeting%20this%20week/near/247902807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aman Arora <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/meeting.20this.20week.html#247902807">(Aug 02 2021 at 09:16)</a>:</h4>
<p>Updated the refernce as well with details on truncation: <a href="https://github.com/rust-lang/reference/pull/1059">https://github.com/rust-lang/reference/pull/1059</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>